decoration

Poids de l’Open access dans la production CNRS

Titre

Predictive runtime verification of timed properties

XX

BSO - Titre

Predictive runtime verification of timed properties

XX

DOI

DOI10.1016/j.jss.2017.06.060

XX

DOAI

DOAI10.1016/j.jss.2017.06.060

XX

Identifiant WoS

WOS:000411531900021

XX

Accès ouvert

OA - Oui

XX

Source - Accès ouvert

OA - Non

XX

Type d'accès

Archive

XX

Editeur

Elsevier

XX

Source

JOURNAL OF SYSTEMS AND SOFTWARE

XX

ISSN

0164-1212

XX

Type de document

Article

XX

Notoriété

4 - Excellente

XX

CNRS

Oui

XX

CNRS - Institut

INS2I - Institut des sciences de l'information et de leurs interactions

XX

Powered by Lodex 9.6.0

decoration